tmp_file — unique filename generator
The tmp_file function generates a string which can be used as a
temporary file name. The resulting string starts with rlab-, then
has a time ( of the form hhmmss), ending with as a unique number.
It is possible, if unlikely, that this routine can generate two identical
filenames. If you can generate a filename, reload tmp_file.r, and
generate another filename, all inside one second, then they will be the
same. This is so unlikely as to be perverse. More likely is that generating
a filename at the same time each day will produce the same filename.
This is not an built-in function. This function
is normally loaded on start-up from the tmp_file.r file in the
standard rlib directory. Use of the -r option, incorrectly
setting the RLAB_LIB_DIR environmental variable, or modifying
tmp_file.r may make this function unavailable.
Subsections